1. Advanced concepts for intelligent vision systems :
پدیدآورنده: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
5. Advances in Metaheuristic Algorithms for Optimal Design of Structures /
پدیدآورنده : by A. Kaveh.,Kaveh, Ali.
موضوع : Applied mathematics.,Engineering mathematics.,Mathematical optimization.,Mechanical engineering.,Mathematical and Computational Engineering.,Optimization.,Optimization.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Advances in evolutionary and deterministic methods for design, optimization and control in engineering and sciences /
پدیدآورنده: Edmondo Minisci, Massimiliano Vasile, Jacques Periaux, Nicolas R. Gauger, Kyriakos C. Giannakoglou, Domenico Quagliarella, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering design-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Engineering design-- Mathematical models.,Mathematical optimization.,Mathematics-- Counting & Numeration.,Numerical analysis.,Technical design.,Technology & Engineering-- Industrial Design-- Product.
رده :
QA402
.
5
7. Applied and Industrial Mathematics :
پدیدآورنده: edited by Renato Spigler.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing.,Engineering mathematics.,Global analysis (Mathematics)
رده :
TA331
.
E358
1991
10. Bayesian Approach to Global Optimization :
پدیدآورنده: by Jonas Mockus.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
12. C++ Toolbox for Verified Computing I :
پدیدآورنده: by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Global analysis (Mathematics),Mathematics.
رده :
QA76
.
73
.
C153
B985
1995
13. Cell mapping methods :
پدیدآورنده: Jian-Qiao Sun, Fu-Rui Xiong, Oliver Schütze, Carlos Hernández.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cellular mappings.,Cellular mappings.,MATHEMATICS-- General.
رده :
QA360
14. Cell mapping methods: Algorithmic Approaches and Applications
پدیدآورنده: / Jian-Qiao Sun ...[et al.].,Authors: Jian-Qiao Sun, Fu-Rui Xiong, Oliver Schütze, Carlos Hernández.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Cellular mappings.,MATHEMATICS / General.,Cellular mappings, Mathematics.
15. Combinatorial and global optimization /
پدیدآورنده: editors, Panos M. Pardalos, Athanasios Migdalas, Rainer E. Burkard.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial optimization, Congresses.,Mathematical optimization, Congresses.,Nonlinear programming, Congresses.,Optimisation combinatoire, Congrès.,Optimisation mathématique, Congrès.,Programmation non linéaire, Congrès.,Combinatorial optimization.,Mathematical optimization.,MATHEMATICS-- Combinatorics.,Nonlinear programming.
رده :
QA402
.
5
.
C5435
2002eb
18. Continuation and Bifurcations:
پدیدآورنده: edited by Dirk Roose, Bart De Dier, Alastair Spence.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Computational Mathematics and Numerical Analysis.,Computer engineering.
رده :
QA377
.
E358
1990
19. Data-Driven Modeling & Scientific Computation :
پدیدآورنده: J. Nathan Kutz, Department of Applied Mathematics, University of Washington
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATLAB,Differential equations,Numerical analysis,Science-- Data processing
رده :
Q183
.
9
.
K88
2013
20. Debugging by thinking :
پدیدآورنده: Robert Charles Metzger.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Debugging in computer science.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Debugging in computer science.
رده :
QA76
.
9
.
D43
M48
2004b





